Message passing

Results: 973



#Item
31

University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

Add to Reading List

Source URL: concurrency.informatik.uni-kl.de

- Date: 2016-06-10 12:02:33
    32

    MESSAGE OF CONDOLENCES OF THE ASEAN LEADERS ON THE PASSING OF HIS MAJESTY KING BHUMIBOL ADULYADEJ OF THE KINGDOM OF THAILAND 14 OctoberWe have learned with profound sadness of the passing of His Majesty King

    Add to Reading List

    Source URL: asean.org

    - Date: 2016-10-14 01:32:34
      33

      PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

      Add to Reading List

      Source URL: staff.um.edu.mt

      - Date: 2011-05-16 14:07:07
        34

        NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-Passing in Java Dami´an A. Mall´on, Guillermo L. Taboada, Juan Touri˜no, and Ram´on Doallo Computer Architecture Group Dept. of Electronics and Systems, Uni

        Add to Reading List

        Source URL: www.des.udc.es

        - Date: 2010-08-25 16:30:33
          35

          DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 9, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

          Add to Reading List

          Source URL: meetings.mpi-forum.org

          - Date: 2015-02-11 14:00:02
            36

            Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

            Add to Reading List

            Source URL: www.edsko.net

            - Date: 2016-08-23 03:13:56
              37

              Instructions for Preparing the MPI Standard Document Message Passing Interface Forum March 15,

              Add to Reading List

              Source URL: meetings.mpi-forum.org

              - Date: 2014-12-09 15:00:01
                38

                DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 14, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa

                Add to Reading List

                Source URL: meetings.mpi-forum.org

                - Date: 2015-02-14 19:30:02
                  39

                  DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 12, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa

                  Add to Reading List

                  Source URL: meetings.mpi-forum.org

                  - Date: 2015-02-13 02:00:02
                    40

                    DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum January 28, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

                    Add to Reading List

                    Source URL: meetings.mpi-forum.org

                    - Date: 2015-02-02 11:40:02
                      UPDATE